a -> (e -> b)